61. Logics in Artificial Intelligence :
پدیدآورنده : edited by Craig MacNish, David Pearce, Luís Moniz Pereira.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
1994
62. Many-sorted logic and its applications
پدیدآورنده : edited by K. Meinke and J.V. Tucker
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Logic, Symbolic and mathematical,، Artificial intelligence
رده :
QA
76
.
9
.
M35
M35
1993
63. Multi-agent systems and agreement technologies :
پدیدآورنده : Francesco Belardinelli, Estefanía Argente (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Multiagent systems, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer security.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Mathematics-- Logic.,Multiagent systems.,Software Engineering.
رده :
QA76
.
76
.
I58
64. Multiagent System Technologies
پدیدآورنده : edited by Franziska Klügl, Sascha Ossowski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer networks.,Computer science.,Logic design.,Software engineering.
65. Nonclassical Logics and Information Processing :
پدیدآورنده : edited by David Pearce, Heinrich Wansing.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
66. Practical Applications of Computational Intelligence Techniques
پدیدآورنده : edited by Lakhmi Jain, Philippe Wilde.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
67. Programming Languages Implementation and Logic Programming :
پدیدآورنده : edited by P. Deransart, B. Lorho, J. Małuszyński.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
68. Real-world reasoning :
پدیدآورنده : Ben Goertzel [and others]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Computer logic
رده :
Q335
.
R43
2011
69. Representation Theorems in Computer Science
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Information theory. ; Artificial intelligence. ; Computer logic. ; Data mining. ; Information storage and retrieval systems. ; Theory of Computation. ;
70. Rough Sets :
پدیدآورنده : by Zdzisław Pawlak.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
Q335
.
B993
1991
71. Simply logical : intelligent reasoning by example
پدیدآورنده : Peter Flach
موضوع : Artificial intelligence,Reasoning - Data processing,Logic, Symbolic and mathematical,Prolog (Computer program language)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
72. Soft Computing for Knowledge Discovery
پدیدآورنده : by James G. Shanahan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
73. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
74. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
پدیدآورنده : edited by Linda C. van der Gaag.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
2013
75. The Parametric Lambda Calculus :
پدیدآورنده : by Simona Ronchi Della Rocca, Luca Paolini.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
QA9
.
5
B975
2004
76. The logic of information structures
پدیدآورنده : Wansing, Heinrich T.
کتابخانه: (طهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
681
77. The logic of information structures
پدیدآورنده : Wansing, Heinrich
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
W235
1993
78. The mathematics of inheritance systems /
پدیدآورنده : David S. Touretzky
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Computer architecture,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
A73
T67
1986
79. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
80. Theory and Applications of Formal Argumentation.
پدیدآورنده : \ Elizabeth Black , Sanjay Modgil , Nir Oren (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگره‌ها
رده :
QA
76
.
9
.
T46
2015
E-Book
,
